Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming
نویسندگان
چکیده
منابع مشابه
Generalized Rings of Measurable and Continuous Functions
This paper is an attempt to generalize, simultaneously, the ring of real-valued continuous functions and the ring of real-valued measurable functions.
متن کاملMeasurable Choice Functions
Paul Garrett [email protected] http://www.math.umn.edu/ g̃arrett/ [This document is http://www.math.umn.edu/ ̃garrett/m/fun/choice functions.pdf] This note is essentially a rewrite of Appendix V of J. Dixmier’s von Neumann Algebras, North Holland, 1981. The point is to obtain the practical special case: [0.0.1] Corollary: Let X be a locally compact Hausdorff second-countable [1] topological sp...
متن کاملTowers of Measurable Functions
We formulate variants of the cardinals f, p and t in terms of families of measurable functions, in order to examine the effect upon these cardinals of adding one random real.
متن کاملPointwise Compact and Stable Sets of Measurable Functions
Introduction In a series of papers culminating in [Ta84], M.Talagrand, the second author and others investigated at length the properties and structure of pointwise compact sets of measurable functions. A number of problems, interesting in themselves and important for the theory of Pettis integration, were solved subject to various special axioms. It was left unclear just how far the special ax...
متن کاملof measurable functions
amsppt.styFSp90a.tex Pointwise compact and stable sets of measurable functions Introduction In a series of papers culminating in [Ta84], M.Talagrand, the second author and others investigated at length the properties and structure of pointwise compact sets of measurable functions. A number of problems, interesting in themselves and important for the theory of Pettis integration, were solved sub...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2018
ISSN: 2475-1421
DOI: 10.1145/3158147